12th International Symposium on Trends in Functional Programming May 16-18, Madrid, Spain Introduction The Computer Science Faculty of the Complutense University of Madrid will host the 12th

Source URL: dalila.sip.ucm.es

On 7 Languages By Jasper Lutz generated for Table of Contents

Source URL: docraptor.com

• Software engineering
• Computer programming
• Computing
• Scripting languages
• Object-oriented programming languages
• Programming paradigms
• Functional languages
• Ruby
• Lisp
• Object-oriented programming
• Clojure
• Smalltalk

Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015

Source URL: ilyasergey.net

• Mathematical logic
• Theoretical computer science
• Mathematics
• Type theory
• Logic in computer science
• Automated theorem proving
• Formal methods
• Coq
• Automated reasoning
• Proof assistant
• Separation logic
• Functional programming

Portable Software Fault Isolation Joshua A. Kroll Computer Science Department Princeton University Princeton, NJ

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Computer programming
• Memory management
• Software bugs
• Programming language implementation
• Functional languages
• C++
• Pointer
• C dynamic memory allocation
• Buffer overflow protection
• Optimizing compiler

Church: a language for generative models Noah D. Goodman, Vikash K. Mansinghka∗, Daniel M. Roy, Keith Bonawitz & Joshua B. Tenenbaum MIT BCS/CSAIL Cambridge, MA 02139

Source URL: stanford.edu

• Software engineering
• Computer programming
• Computing
• Lambda calculus
• Functional programming
• Programming languages
• Data types
• Control flow
• Eval
• Bayesian network
• Scheme
• Lisp

Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals Kazutaka Matsuda Tohoku University

Source URL: www2.sf.ecei.tohoku.ac.jp

• Mathematics
• Special functions
• Declarative programming
• Automated theorem proving
• Logic programming
• Data types
• Functional programming
• Logical truth
• Substitution
• Cons
• Exponentiation
• Inverse trigonometric functions

Functional reactive programming Future values Improving values Unambiguous choice Push-pull functional reactive programming

Source URL: conal.net

Static Typing & JavaScript Libraries: ∗ Towards a More Considerate Relationship Benjamin Canou Emmanuel Chailloux

Source URL: www2013.wwwconference.org

• Type theory
• Object-oriented programming
• Data types
• Functional programming
• OCaml
• Structural type system
• Ocsigen
• Type system
• Duck typing
• Immutable object
• Caml
• Constant

Univalence Thorsten Altenkirch Functional Programming Laboratory

Source URL: hott-uf.gforge.inria.fr

Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne K¨onig, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam Abstract. We describe the major new features emerging from a significant rede

Source URL: www.cs.uni-potsdam.de

• Model theory
• Quantification
• Answer set programming
• Logic programming
• FO
• Functional predicate
• Universal quantification
• Limit of a function
• Expected value
• Predicate